Semantic Abstraction and Quantum Computation
نویسندگان
چکیده
We present a logico-algebraic approach to probabilistic abstract interpretation based on the ortholattice structure of the projective measurement operators in quantum mechanics. On this base, we present a novel interpretation of quantum measurement as a probabilistic abstraction showing that the measurement of a physical observable essentially corresponds to a static analysis of the observed property.
منابع مشابه
An Unsharp Logic from Quantum Computation
Logical gates studied in quantum computation suggest a natural logical abstraction that gives rise to a new form of unsharp quantum logic. We study the logical connectives corresponding to the following gates: the Toffoli gate, the NOT and the √ NOT (which admit of natural physical models). This leads to a semantic characterization of a logic that we call computational quantum logic (CQL).
متن کاملTheoretical computation of the quantum transport of zigzag mono-layer Graphenes with various z-direction widths
The quantum transport computations have been carried on four different width of zigzag graphene using a nonequilibrium Green’s function method combined with density functional theory. The computed properties are included transmittance spectrum, electrical current and quantum conductance at the 0.3V as bias voltage. The considered systems were composed from one-layer graphene sheets differing w...
متن کاملTheoretical computation of the quantum transport of zigzag mono-layer Graphenes with various z-direction widths
The quantum transport computations have been carried on four different width of zigzag graphene using a nonequilibrium Green’s function method combined with density functional theory. The computed properties are included transmittance spectrum, electrical current and quantum conductance at the 0.3V as bias voltage. The considered systems were composed from one-layer graphene sheets differing w...
متن کاملObservable Semantics and Dynamic Analysis of Computational Processes
We introduce a notion of observation of a computational process on the basis of the observation of (the meaningful information couched by) the syntactic objects involved in the computation. This is formalized by means of observation mappings. We use them to give a semantic description of computational processes, an observable semantics , which is given on a purely syntactic basis; the observati...
متن کاملActors as a Coordinating Model of Computation
This paper relates two prominent models of concurrent computation, namely Actors and the π-calculus. We build on a thesis that proclaims – Actors enact the role of a coordinating model of computation. We enrich the Actor model by defining a mechanism for achieving a higher level of abstraction. This helps in reasoning with collections of Actors termed Actor Troupes. We identify a notion of inte...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 210 شماره
صفحات -
تاریخ انتشار 2008